Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
931	GAMS GDX facilities and tools GAMS Development Corporation Add to Reading List Source URL: gams.com Language: English - Date: 2014-12-22 04:53:43 Scripting languages Operations research Computer algebra systems Mathematical optimization Procedural programming languages Scanning laser polarimetry AMPL Spreadsheet Perl Computing Software engineering Computer programming
932	Automatic Boundary Tracing -Edge Tracking with the Trace Tool Often the irregular edge of an object or surface needs to be defined for dimensional measurements. The example shown here is an industrial coating, an irregul Add to Reading List Source URL: www.mediacy.jp Language: English - Date: 2015-02-26 02:00:45 Trace Image processing Electronic test equipment Computer vision Mathematics Linear algebra Matrix theory
933	Local reductions Hamid Jahanjou∗ Eric Miles∗ Emanuele Viola∗ Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-04-01 09:13:02 Complexity classes Circuit complexity Boolean algebra NP-complete problems Time complexity ACC0 Cook–Levin theorem P NC Theoretical computer science Computational complexity theory Applied mathematics
934	Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds∗ Yuval Filmus University of Toronto Massimo Lauria Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-05-06 19:14:13 Computational complexity theory Conjunctive normal form Proof complexity PP IP Polynomial Boolean algebra Frege system MAX-3SAT Theoretical computer science Applied mathematics Logic in computer science
935	Visualization of the Genus of Knots Arjeh M. Cohen† Jarke J. van Wijk∗ Dept. Mathematics and Computer Science Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2005-07-09 12:44:58 Geometric topology Seifert surface Torus knot Figure-eight knot Alexander polynomial Cinquefoil knot Genus Knot Whitehead link Knot theory Topology Abstract algebra
936	UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION (LEVEL 9) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-13 07:45:52 Computer programming Functional languages Propositional calculus Procedural programming languages FO Finite model theory Negation B-tree ML Computing Boolean algebra Software engineering
937	Notes on Chebyshev Series and Computer Algebra Richard J. Fateman Computer Science Division Electrical Engineering and Computer Sciences University of California at Berkeley January 17, 2013 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-01-17 14:08:41 Fourier analysis Trigonometry Complex analysis Chebyshev polynomials Discrete cosine transform Trigonometric functions Polynomial Taylor series Sine Mathematical analysis Numerical analysis Digital signal processing
938	Journal of Artificial Intelligence Research606 Submitted 11/07; publishedSATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Add to Reading List Source URL: www.jair.org Language: English - Date: 2008-07-01 13:34:37 NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Algorithm Computational complexity theory Solver Theoretical computer science Applied mathematics Mathematics
939	Efficient Template Attacks Omar Choudary and Markus G. Kuhn Computer Laboratory, University of Cambridge Abstract. Template attacks remain a powerful side-channel technique Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-04 11:23:40 Multivariate statistics Singular value decomposition Data analysis Algebra of random variables Covariance and correlation Principal component analysis Multivariate normal distribution Linear discriminant analysis Covariance Statistics Algebra Linear algebra
940	Equality Is a Jump Paolo Boldi∗ Sebastiano Vigna∗ Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano {boldi,vigna}@dsi.unimi.it Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2002-05-18 04:50:21 Computability theory Polynomials Turing machine Models of computation Field theory Irreducible polynomial Field extension Computability Polynomial ring Abstract algebra Mathematics Theoretical computer science

UPDATE